Class Specification Implementation Graphs for Integrated Black- and White-Box Testing

Although both blackand white-box testing have the same objective, namely detecting faults in a program, they are often conducted separately. In our opinion, the reason is the lack of techniques and tools integrating both strategies, although integration can substantially decrease testing costs. Specifically, an integrated technique can generate a reduced test suite, as single test cases can cover both specification and implementation at the same time. This paper proposes a new graphical representation of classes, which can be used for integrated class-level blackand white-box testing. Its distinguishing feature from existing representations is that each method of a class is shown from two perspectives, namely the specification and implementation view. Both the specification of a method and its implementation are represented as control flow graphs, which allows blackand white-box testing by structural techniques. Moreover, a test suite reduction technique has been developed for adjusting white-box test cases to blackbox testing.